COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AIL Professor Raymond Reiter↓Department of Computer Science
↓University of British Columbia
↓Vancouver, B.C.↓CANADA∞

Dear Ray:

	Enclosed is a copy of my %2AI Journal%1 paper on circumscription.
It is not exactly the published version in that it merges an addendum
into the text.
You will note that the formalism is considerably changed from the
earlier version in that I now minimize the extensions of predicates
rather than the set of elements in the domain.  The older form comes
out as a special case.  This makes circumscription close to your work
and the Doyle-McDermott work, but as the additional note shows, there remain
important differences.

	I would be glad to visit UBC and give a seminar.  Almost any
time in May would be convenient for me.  I hope to see you at our
March symposium on AI and philosophy.  What are you currently up to?

.reg